gcd lemma